Object-Oriented Style Overloading for Haskell (Extended Abstract)
نویسندگان
چکیده
منابع مشابه
Object - Oriented Style Overloading for Haskell ( Extended Abstract )
Haskell has a sophisticated mechanism for overloading identifiers with multiple definitions at distinct types. Object-oriented programming has a similar notion of overriding and overloading for methods names. Unfortunately, it is not possible to encode object-oriented overloading directly using Haskell overloading. This deficiency becomes particularly tiresome when Haskell programs wish to call...
متن کاملObject-Oriented Style Overloading for Haskell
Haskell has a sophisticated mechanism for overloading identifiers with multiple definitions at distinct types. Objectoriented programming has a similar notion of overriding and overloading for methods names. Unfortunately, it is not possible to encode object-oriented overloading directly using Haskell overloading. This deficiency becomes particularly tiresome when Haskell programs wish to call ...
متن کاملHaskell - style Overloading is NP - hardDennis
Extensions of the ML type system, based on constrained type schemes, have been proposed for languages with overloading. Type inference in these systems requires solving the following satissability problem. Given a set of type assumptions C over nite types and a type basis A, is there is a substitution S that satisses C in that A ` CS is derivable? Under arbitrary overloading, the problem is und...
متن کاملHaskell-style Overloading is NP-hard
Extensions of the ML type system based on con strained type schemes have been proposed for lan guages with overloading Type inference in these sys tems requires solving the following satis ability prob lem Given a set of type assumptions C over nite types and a type basis A is there is a substitution S that satis es C in that A CS is derivable Un der arbitrary overloading the problem is undecid...
متن کاملObject-Oriented Style
Writing programs in continuation-passing style is a good tool for understanding reified continuations and call/cc. Similarly, writing programs in an object-oriented style is a good tool for understanding object-oriented language features, such as super (or object) method invocation. We present an object-oriented style and a simple example of its use. From this example, we present protocols that...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2001
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80455-4